API: gdk: gdk_display_warp_device() => gdk_device_warp()
authorBenjamin Otte <otte@redhat.com>
Mon, 20 Dec 2010 14:05:47 +0000 (15:05 +0100)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 21 Dec 2010 17:07:06 +0000 (12:07 -0500)
commit66f7c3a5622e5eacafa70b076bbfa7457f2c0345
tree9d30fda9dd661404e655467bab41798fac19aaf6
parent7a3359223179468b42fa0130457ec60694ce6ec1
API: gdk: gdk_display_warp_device() => gdk_device_warp()

warping devices has nothing to do with displays, so putting it there
seems weird.
docs/reference/gdk/gdk3-sections.txt
gdk/gdk.symbols
gdk/gdkdevice.c
gdk/gdkdevice.h
gdk/gdkdisplay.c
gdk/gdkdisplay.h
gtk/gtkcolorsel.c
gtk/gtkdnd.c